Foundations for structuring behavioural specifications

Foundations for structuring behavioural specifications

We develop foundations for structuring behavioural specifications based on the logic tradition of hidden algebra. This includes an analysis of a number of important technical compositional properties for behavioural signatures, such as pushouts, inclusions and unions, as well as an investigation of algebraic rules for behavioural module composition. As a particularity of behavioural specificati...

Behavioural specifications'

For historic reasons, programming (and its theory, as well as methodology) evolved from the computing paradigm. Many computer applications in common use do not fit this paradigm well. Neither an operating system, nor a word processor compute anything, even if their operation involves many computations. Here we follow another paradigm, viz. that of system behaviour, in which finite actions are u...

An axiomatic approach to structuring specifications

In this paper we develop an axiomatic approach to structured specifications in which both the underlying logical system and corresponding institution of the structured specifications are treated as abstract institutions, which means two levels of institution independence. This abstract axiomatic approach provides a uniform framework for the study of structured specifications independently from ...

Structuring Real-Time Object-Z Specifications

A Foundations of Behavioural Types

Hans Hüttel, Aalborg University Ivan Lanese, University of Bologna/INRIA Vasco T. Vasconcelos, University of Lisbon Luís Caires, New University of Lisbon Marco Carbone, ITU Copenhagen Pierre-Malo Deniélou, Royal Holloway, University of London Dimitris Mostrous, University of Lisbon Luca Padovani, University of Turin António Ravara, New University of Lisbon Emilio Tuosto, University of Leicester...